es{-}init(${\it es}$;$e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if es{-}first(${\it es}$; $e$)$\rightarrow$ $e$ else es{-}init(${\it es}$;es{-}pred(${\it es}$; $e$)) fi  \emph{(recursive)}